extension | φ:Q→Out N | d | ρ | Label | ID |
C23.D5.1C4 = C22:C4.F5 | φ: C4/C1 → C4 ⊆ Out C23.D5 | 80 | 8- | C2^3.D5.1C4 | 320,205 |
C23.D5.2C4 = Dic5.C42 | φ: C4/C1 → C4 ⊆ Out C23.D5 | 160 | | C2^3.D5.2C4 | 320,1029 |
C23.D5.3C4 = C20:C8:C2 | φ: C4/C1 → C4 ⊆ Out C23.D5 | 160 | | C2^3.D5.3C4 | 320,1034 |
C23.D5.4C4 = C23.(C2xF5) | φ: C4/C1 → C4 ⊆ Out C23.D5 | 160 | | C2^3.D5.4C4 | 320,1035 |
C23.D5.5C4 = D4xC5:C8 | φ: C4/C1 → C4 ⊆ Out C23.D5 | 160 | | C2^3.D5.5C4 | 320,1110 |
C23.D5.6C4 = C5:C8:7D4 | φ: C4/C1 → C4 ⊆ Out C23.D5 | 160 | | C2^3.D5.6C4 | 320,1111 |
C23.D5.7C4 = C20:2M4(2) | φ: C4/C1 → C4 ⊆ Out C23.D5 | 160 | | C2^3.D5.7C4 | 320,1112 |
C23.D5.8C4 = (C2xC40):C4 | φ: C4/C2 → C2 ⊆ Out C23.D5 | 80 | 4 | C2^3.D5.8C4 | 320,114 |
C23.D5.9C4 = M4(2):4Dic5 | φ: C4/C2 → C2 ⊆ Out C23.D5 | 80 | 4 | C2^3.D5.9C4 | 320,117 |
C23.D5.10C4 = C40:8C4:C2 | φ: C4/C2 → C2 ⊆ Out C23.D5 | 160 | | C2^3.D5.10C4 | 320,347 |
C23.D5.11C4 = C5:5(C8xD4) | φ: C4/C2 → C2 ⊆ Out C23.D5 | 160 | | C2^3.D5.11C4 | 320,352 |
C23.D5.12C4 = D10:4M4(2) | φ: C4/C2 → C2 ⊆ Out C23.D5 | 160 | | C2^3.D5.12C4 | 320,355 |
C23.D5.13C4 = Dic5:2M4(2) | φ: C4/C2 → C2 ⊆ Out C23.D5 | 160 | | C2^3.D5.13C4 | 320,356 |
C23.D5.14C4 = C5:2C8:26D4 | φ: C4/C2 → C2 ⊆ Out C23.D5 | 160 | | C2^3.D5.14C4 | 320,357 |
C23.D5.15C4 = C20.65(C4:C4) | φ: C4/C2 → C2 ⊆ Out C23.D5 | 160 | | C2^3.D5.15C4 | 320,729 |
C23.D5.16C4 = C40:32D4 | φ: C4/C2 → C2 ⊆ Out C23.D5 | 160 | | C2^3.D5.16C4 | 320,738 |
C23.D5.17C4 = C20.51(C4:C4) | φ: C4/C2 → C2 ⊆ Out C23.D5 | 160 | | C2^3.D5.17C4 | 320,746 |
C23.D5.18C4 = C20.37C42 | φ: C4/C2 → C2 ⊆ Out C23.D5 | 160 | | C2^3.D5.18C4 | 320,749 |
C23.D5.19C4 = C40:D4 | φ: C4/C2 → C2 ⊆ Out C23.D5 | 160 | | C2^3.D5.19C4 | 320,754 |
C23.D5.20C4 = C40:18D4 | φ: C4/C2 → C2 ⊆ Out C23.D5 | 160 | | C2^3.D5.20C4 | 320,755 |
C23.D5.21C4 = C20.42C42 | φ: trivial image | 160 | | C2^3.D5.21C4 | 320,728 |
C23.D5.22C4 = C8xC5:D4 | φ: trivial image | 160 | | C2^3.D5.22C4 | 320,736 |